From: Florian Müllner Date: Tue, 9 Jul 2019 12:46:36 +0000 (+0200) Subject: windowManager: Remove unused property X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~845^2^2~57 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=1cac7b2218c35e13e5aae4de31cb1afcd9906f95;p=gnome-shell.git windowManager: Remove unused property The last commit removed the only code that set _blockAnimations, so stop reading it as well. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/620 --- diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js index 9322569f7..3b843a636 100644 --- a/js/ui/windowManager.js +++ b/js/ui/windowManager.js @@ -1241,7 +1241,7 @@ var WindowManager = class { } _shouldAnimate() { - return !(Main.overview.visible || this._blockAnimations); + return !Main.overview.visible; } _shouldAnimateActor(actor, types) {